Jim Davies (eds.): Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (14)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 11.33 MB

0 / 0

english, 1999

2

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 6.34 MB

0 / 0

english, 2004

3

Developments in Services of General Interest

Developments in Services of General Interest

T.M.C. Asser Press

Erika Szyszczak (auth.), Erika Szyszczak, Jim Davies, Mads Andenæs, Tarjei Bekkedal (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 1.36 MB

0 / 0

english, 2011

4

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 4.37 MB

0 / 0

english, 2011

5

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 14.41 MB

0 / 0

english, 2004

6

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 14.06 MB

0 / 0

english, 1999

7

Cryocoolers 11

Cryocoolers 11

Thom Davis, B. J. Tomlinson, Jim Ledbetter (auth.), R. G. Ross Jr. (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 30.41 MB

0 / 0

english, 2002

8

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 5.44 MB

0 / 5.0

english, 2011

9

Cryocoolers 11

Cryocoolers 11

Thom Davis, B. J. Tomlinson, Jim Ledbetter (auth.), R. G. Ross Jr. (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 24.50 MB

0 / 0

english, 2002

10

Victorian Pantomime: A Collection of Critical Essays

Victorian Pantomime: A Collection of Critical Essays

Palgrave Macmillan UK

Jim Davis (eds.)

సంవత్సరం:

2010

భాష:

english

ఫైల్:

PDF, 5.86 MB

0 / 0

english, 2010

11

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 10.75 MB

0 / 0

english, 1999

12

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)

సంవత్సరం:

2007

భాష:

english

ఫైల్:

PDF, 6.13 MB

0 / 0

english, 2007

13

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)

సంవత్సరం:

2011

భాష:

english

ఫైల్:

PDF, 4.66 MB

0 / 0

english, 2011

14

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

సంవత్సరం:

1999

భాష:

english

ఫైల్:

PDF, 16.87 MB

0 / 0

english, 1999